منابع مشابه
Specification and Verification of the PowerScaleTM Bus Arbitration Protocol: An Industrial Experiment with LOTOS
This paper presents the results of an industrial case-study concerning the use of formal methods for the validation of hardware design. The case-study focuses on PowerScale TM , a multi-processor architecture based on PowerPC TM microprocessors and used in Bull's Escala TM series of servers and workstations x. The speciication language Lotos (Iso International Standard 8807) was used to describ...
متن کاملThe Organization of Government in Pre-industrial Europe*
Pre-industrial Europe saw a relatively rapid evolution of systems of government. Feudalism gave way to medieval constitutional government and this gave way in turn either to the imperial state or to associational government. This rapid evolution was driven by two interrelated processes—one of economic growth and development, the other of struggle and conflict among governments. Our purpose here...
متن کاملEmployers, the government, and industrial fatigue in Britain, 1890-1918.
The evolution of the concept of industrial fatigue and the responses of employers and the government in Britain to research initiatives in this field of industrial medicine up to the end of the first world war is explored. The discussion dovetails in with the broader debate about the characteristics and dissemination of scientific labour management in Britain. The first section focuses on attit...
متن کاملMedical Malpractice Arbitration Act: Michigan's experience with arbitration.
In the 1970's, Michigan and other states were confronted with a medical malpractice crisis of astronomical proportions. The escalating number of medical malpractice lawsuits and concomitant increase in malpractice premiums for health care providers fostered a divisive climate among doctors, lawyers and patients. In response to this crisis, the Michigan legislature enacted the Medical Malpractic...
متن کاملMediation, arbitration and negotiation
We compare three common dispute resolution processes — negotiation, mediation, and arbitration — in the framework of Crawford and Sobel (1982). Under negotiation, the two parties engage in (possibly arbitrarily long) face-to-face cheap talk. Under mediation, the parties communicate with a neutral third party who makes a non-binding recommendation. Under arbitration, the two parties commit to co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Ekonomisk Tidskrift
سال: 1906
ISSN: 0284-7310
DOI: 10.2307/3437162